# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q//;
$cached_env_img{$key} = q|<IMG
  STYLE="" SRC="|."$dir".q|img2.png"
 ALT="\begin{inset}{}
Returns a new structure type. The {\it typename\/}, which should...
...ines an {\it stype\/} that handles the predicate {\mbox {\tt EMP?}}.
\end{inset}">|; 
$key = q/{codexenv}(EMPLOYEE-NAMEEMPLOYEE-23){codexenv};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 2.17ex; vertical-align: 176.55ex; " SRC="|."$dir".q|img11.png"
 ALT="\begin{codexenv}
(EMPLOYEE-NAME EMPLOYEE-23)
\end{codexenv}">|; 
$key = q/{codexenv}(SET(EMPLOYEE-NAMEEMPLOYEE-23)'FRED){codexenv};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img12.png"
 ALT="\begin{codexenv}
(SET (EMPLOYEE-NAME EMPLOYEE-23) 'FRED)
\end{codexenv}">|; 
$key = q/{inset}{}Givenaselectorprocedure,e.g.,asreturnedby{{tt{STYPE-SELECTOR},returnsitscorrespondingcomponentname.{inset};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 2.17ex; vertical-align: 176.68ex; " SRC="|."$dir".q|img9.png"
 ALT="\begin{inset}{}
Given a selector procedure, e.g., as returned by {\tt STYPE-SELECTOR},
returns its corresponding componentname.
\end{inset}">|; 
$key = q/{inset}{}Givenastructuretype{{it{stypeslash},returnsalistofitsselectorprocedures.{inset};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 2.17ex; vertical-align: 176.54ex; " SRC="|."$dir".q|img8.png"
 ALT="\begin{inset}{}
Given a structure type {\it stype\/}, returns a list of its selector procedures.
\end{inset}">|; 
$key = q/{inset}{}Returnsthetypeidentifierfor{{it{stypeslash}.{inset};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 2.17ex; vertical-align: 176.68ex; " SRC="|."$dir".q|img3.png"
 ALT="\begin{inset}{}
Returns the type identifier for {\it stype\/}.
\end{inset}">|; 
$key = q/{inset}{}Returnstrueif{{it{objectslash}isastructure.{inset};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 2.38ex; vertical-align: 176.40ex; " SRC="|."$dir".q|img13.png"
 ALT="\begin{inset}{}
Returns true if {\it object\/} is a structure.
\end{inset}">|;